I use the Corcoran–Smiley interpretation of Aristotle's syllogistic as my starting point for an examination of the syllogistic from the vantage point of modern proof theory. I aim to show that fresh logical insights are afforded by a proof-theoretically more systematic account of all four figures. First I regiment the syllogisms in the Gentzen–Prawitz system of natural deduction, using the universal and existential quantifiers of standard first-order logic, and the usual formalizations of Aristotle's sentence-forms. I explain how the syllogistic is (...) a fragment of my system of Core Logic. Then I introduce my main innovation: the use of binary quantifiers, governed by introduction and elimination rules. The syllogisms in all four figures are re-proved in the binary system, and are thereby revealed as all on a par with each other. I conclude with some comments and results about grammatical generativity, ecthesis, perfect validity, skeletal validity and Aristotle's chain principle. (shrink)

This book is written so as to be ‘accessible to philosophers without a mathematical background’. The reviewer can assure the reader that this aim is achieved, even if only by focusing throughout on just one example of an arithmetical truth, namely ‘7+5=12’. This example’s familiarity will be reassuring; but its loneliness in this regard will not. Quantified propositions — even propositions of Goldbach type — are below the author’s radar.The author offers ‘a new kind of arithmetical epistemology’, one which ‘respects (...) certain important intuitions’ 1 : apriorism, realism, and empiricism. The book contains some clarification of these ‘isms’, and some thoughtful critiques of major positions regarding them, as espoused by such representative figures as Boghossian, Bealer, Peacocke, Field, Bostock, Maddy, Locke, Kant, C.I. Lewis, Ayer, Quine, Fodor, and McDowell. The philosophical reader will find some interest and value in these wider-ranging discussions. Our concern in this review, however, is to examine closely the original positive proposal on offer.Arithmetical truths, the author maintains, are conceptual truths. Knowing truths like 7+5=12 involves no ‘epistemic reliance on any empirical evidence’; but that, she says, is not to claim ‘epistemic independence of the senses altogether’. She wants to show that "experience grounds our concepts … and then mere conceptual examination enables us to learn arithmetical truths ." Concepts that are ‘appropriately sensitive’ to ‘the nature of [an independent] reality’ she calls grounded. Because of the role of grounded concepts, ‘arithmetical truths explain our arithmetical beliefs in the right sort of way for those beliefs to count as knowledge’ .In the context of her concentration on the special nature of arithmetical knowledge, the author offers what could strike some bystanders as an unnecessarily over-ambitious account of knowledge tout court. Knowledge, for the author, is "true belief which … ". (shrink)

Many prominent writers on the philosophy of logic, including Michael Dummett, Dag Prawitz, Neil Tennant, have held that the introduction and elimination rules of a logical connective must be ‘in harmony ’ if the connective is to possess a sense. This Harmony Thesis has been used to justify the choice of logic: in particular, supposed violations of it by the classical rules for negation have been the basis for arguments for switching from classical to intuitionistic logic. The Thesis (...) has also had an influence on the philosophy of language: some prominent writers in that area, notably Dummett and Robert Brandom, have taken it to be a special case of a more general requirement that the grounds for asserting a statement must cohere with its consequences. This essay considers various ways of making the Harmony Thesis precise and scrutinizes the most influential arguments for it. The verdict is negative: all the extant arguments for the Thesis are weak, and no version of it is remotely plausible. (shrink)

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to (...) be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. -/- Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. -/- However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. -/- The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion. (shrink)

The present paper investigates whether strictly classical inferences contribute to the formalization of (genuine) paradoxes within natural deduction. Tennant's criterion for paradoxicality relies on the generation of an infinite reduction sequence, which distinguishes genuine paradoxes from mere inconsistencies. His methodological conjecture posits that genuine paradoxes are never strictly classical and can be derived without classical inferences such as the Law of Excluded Middle, Dilemma, Classical Reductio, and Double Negation Elimination. -/- It appears that there were two reasons for (...) class='Hi'>Tennant's proposal of the methodological conjecture. The one is that strictly classical inferences hinder the generation of an infinite reduction sequence and the other is that strictly classical inferences have no role in the formalization of genuine paradoxes. -/- This paper raises questions about these two reasons. Focusing on the liar paradox, it will be argued that strictly classical inferences do not interfere with the generation of an infinite reduction sequence and that the liar sentence may implicitly entail strictly classical inferences. Should this analysis hold, it would call into question not only Tennant’s motivation for advancing the methodological conjecture, but also challenge his contention that genuine paradoxes—exemplified by the liar paradox—are never constructed with reliance on strictly classical inferences. (shrink)

This essay defends a strong version of the Humean theory of motivation on which desire is necessary both for motivation and for reasoning that changes our desires. Those who hold that moral judgments are beliefs with intrinsic motivational force need to oppose this view, and many of them have proposed counterexamples to it. Using a novel account of desire, this essay handles the proposed counterexamples in a way that shows the superiority of the Humean theory. The essay addresses the classic (...) objection that the Humean theory cannot explain the feeling of obligation, Stephen Darwall's example of motivationally potent reasoning that is not based on preexisting desires, Thomas Scanlon's criticism that the Humean theory fails to account for the structure and phenomenology of deliberation, and the phenomenon of akrasia as discussed by John Searle. In each case a Humean account explains the data at least as thoroughly as opposing views can, while fitting within a simpler total account of how we deliberate and act. (shrink)

The rightness and wrongness of actions fits on a continuous scale. This fits the way we evaluate actions chosen among a diverse range of options, even though English speakers don’t use the words “righter” and “wronger”. I outline and defend a version of scalar consequentialism, according to which rightness is a matter of degree, determined by how good the consequences are. Linguistic resources are available to let us truly describe actions simply as right. Some deontological theories face problems in accounting (...) for degrees of rightness, as they don't invoke continuous parameters among the right-making features of action. (shrink)

A number of concerns have been raised about the possible future use of pharmaceuticals designed to enhance cognitive, affective, and motivational processes, particularly where the aim is to produce morally better decisions or behavior. In this article, we draw attention to what is arguably a more worrying possibility: that pharmaceuticals currently in widespread therapeutic use are already having unintended effects on these processes, and thus on moral decision making and morally significant behavior. We review current evidence on the moral effects (...) of three widely used drugs or drug types: propranolol, selective serotonin reuptake inhibitors, and drugs that effect oxytocin physiology. This evidence suggests that the alterations to moral decision making and behavior caused by these agents may have important and difficult-to-evaluate consequences, at least at the population level. We argue that the moral effects of these and other widely used pharmaceuticals warrant further empirical research and ethical analysis. (shrink)

Recent work in neuroimaging suggests that some patients diagnosed as being in the persistent vegetative state are actually conscious. In this paper, we critically examine this new evidence. We argue that though it remains open to alternative interpretations, it strongly suggests the presence of consciousness in some patients. However, we argue that its ethical significance is less than many people seem to think. There are several different kinds of consciousness, and though all kinds of consciousness have some ethical significance, different (...) kinds underwrite different kinds of moral value. Demonstrating that patients have phenomenal consciousness — conscious states with some kind of qualitative feel to them — shows that they are moral patients, whose welfare must be taken into consideration. But only if they are subjects of a sophisticated kind of access consciousness — where access consciousness entails global availability of information to cognitive systems — are they persons, in the technical sense of the word employed by philosophers. In this sense, being a person is having the full moral status of ordinary human beings. We call for further research which might settle whether patients who manifest signs of consciousness possess the sophisticated kind of access consciousness required for personhood. (shrink)

Heidegger’s ontological views, his observations about liberalism and fascism, and his evaluative commitments are three premises of an argument for fascism. The ontological premise is that integrated wholes and objects of a creator or user’s will are ontologically superior, as Being and Time suggests in discussing Being-a-whole, creating art, and using equipment. The social premise is that fascist societies are wholes integrated by dictatorial will, while liberal societies are looser aggregates of free individuals, as Heidegger describes in his 1930s seminars. (...) The evaluative premise, shared with the medieval tradition and expressed in his notebook remarks about war, is that ontological superiority makes things better. The conclusion that fascism is better than liberalism should be rejected along with the evaluative premise. (shrink)

Causal theories of action, perception and knowledge are each beset by problems of so-called ‘deviant’ causal chains. For each such theory, counterexamples are formed using odd or co-incidental causal chains to establish that the theory is committed to unpalatable claims about some intentional action, about a case of veridical perception or about the acquisition of genuine knowledge. In this paper I will argue that three well-known examples of a deviant causal chain have something in common: they each violate Yablos proportionality (...) constraint on causation. I will argue that this constraint provides the key to saving causal theories from deviant chains. (shrink)

I argue that one intends that ϕ if one has a desire that ϕ and an appropriately related means-end belief. Opponents, including Setiya and Bratman, charge that this view can't explain three things. First, intentional action is accompanied by knowledge of what we are doing. Second, we can choose our reasons for action. Third, forming an intention settles a deliberative question about what to do, disposing us to cease deliberating about it. I show how the desire- belief view can explain (...) why these phenomena occur when they occur, and why they don't when they don't. (shrink)

Ethical reductionism is the best version of naturalistic moral realism. Reductionists regard moral properties as identical to properties appearing in successful scientific theories. Nonreductionists, including many of the Cornell Realists, argue that moral properties instead supervene on scientific properties without identity. I respond to two arguments for nonreductionism. First, nonreductionists argue that the multiple realizability of moral properties defeats reductionism. Multiple realizability can be addressed in ethics by identifying moral properties uniquely or disjunctively with properties of the special sciences. Second, (...) nonreductionists argue that irreducible moral properties explain empirical phenomena, just as irreducible special-science properties do. But since irreducible moral properties don't successfully explain additional regularities, they run the risk of being pseudoscientific properties. Reductionism has all the benefits of nonreductionism, while also being more secure against anti-realist objections because of its ontological simplicity. (shrink)

A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often forcing constructions that add subsets to models are cited as evidence in favour of the latter. This paper informs this debate by analysing ways the Universist might interpret this discourse that seems (...) to necessitate the addition of subsets to V. We argue that despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse. We analyse extant interpretations of such talk, and analyse various tradeoffs in naturality that might be made. We conclude that the Universist has promising options for interpreting different forcing constructions. (shrink)

This paper argues that a counterpart-theoretic treatment of events, combined with a counterfactual theory of causation, can help resolve three puzzles from the causation literature. First, CCT traces the apparent contextual shifts in our causal attributions to shifts in the counterpart relation which obtains in those contexts. Second, being sensitive to shifts in the counterpart relation can help diagnose what goes wrong in certain prominent examples where the transitivity of causation appears to fail. Third, CCT can help us resurrect the (...) much-maligned fragility response to the problems of late pre-emption by understanding fragility in counterpart-theoretic terms. Some reasons to prefer this CCT approach to rivals are discussed. (shrink)

In the contemporary philosophy of set theory, discussion of new axioms that purport to resolve independence necessitates an explanation of how they come to be justified. Ordinarily, justification is divided into two broad kinds: intrinsic justification relates to how `intuitively plausible' an axiom is, whereas extrinsic justification supports an axiom by identifying certain `desirable' consequences. This paper puts pressure on how this distinction is formulated and construed. In particular, we argue that the distinction as often presented is neither well-demarcated nor (...) sufficiently precise. Instead, we suggest that the process of justification in set theory should not be thought of as neatly divisible in this way, but should rather be understood as a conceptually indivisible notion linked to the goal of explanation. (shrink)

Consider two deeply appealing thoughts: first, that we experience external particulars, and second, that what it’s like to have an experience – the phenomenal character of an experience – is somehow independent of external particulars. The first thought is readily captured by phenomenal particularism, the view that external particulars are sometimes part of the phenomenal character of experience. The second thought is readily captured by phenomenal generalism, the view that external particulars are never part of phenomenal character. -/- Here I (...) show that a novel version of phenomenal generalism can capture both thoughts in a satisfying fashion. Along the way, I reveal severe problems facing phenomenal particularism and also shed light on the mental kinds under which experiences fall. (shrink)

Zero provides a challenge for philosophers of mathematics with realist inclinations. On the one hand it is a bona fide cardinal number, yet on the other it is linked to ideas of nothingness and non-being. This paper provides an analysis of the epistemology and metaphysics of zero. We develop several constraints and then argue that a satisfactory account of zero can be obtained by integrating an account of numbers as properties of collections, work on the philosophy of absences, and recent (...) work in numerical cognition and ontogenetic studies. (shrink)

In this paper I argue that the explanationist argument in favour of moral realism fails. According to this argument, the ability of putative moral properties to feature in good explanations provides strong evidence for, or entails, the metaphysical claims of moral realism. Some have rejected this argument by denying that moral explanations are ever good explanations. My criticism is different. I argue that even if we accept that moral explanations are (sometimes) good explanations the metaphysical claims of realism do not (...) follow. (shrink)

Many expressivists have employed a claim about the practicality of morality in support of their view that moral convictions are not purely descriptive mental states. In this paper I argue that all extant arguments of this form fail. I distinguish several versions of such arguments and argue that in each case either the sense of practicality the argument employs is too weak, in which case there is no reason to think that descriptive states cannot be practical or the sense of (...) practicality the argument employs is too strong, in which case there is no reason to think moral convictions are practical. I also discuss and dismiss an attempted patch of such arguments provided by Humean Psychology. The conclusion is that expressivists need to look to sources other than the alleged practicality of morality to support their position. In concluding remarks I suggest one such alternative. (shrink)

The moral belief problem is that of reconciling expressivism in ethics with both minimalism in the philosophy of language and the syntactic discipline of moral sentences. It is argued that the problem can be solved by distinguishing minimal and robust senses of belief, where a minimal belief is any state of mind expressed by sincere assertoric use of a syntactically disciplined sentence and a robust belief is a minimal belief with some additional property R. Two attempts to specify R are (...) discussed, both based on the thought that beliefs are states that aim at truth. According to the first, robust beliefs are criticisable to the extent that their content fails to match the state of the world. This sense fails to distinguish robust beliefs from minimal beliefs. According to the second, robust beliefs function to have their content match the state of the world. This sense succeeds in distinguishing robust beliefs from minimal beliefs. The conclusion is that the debate concerning the cognitive status of moral convictions needs to address the issue of the function of moral convictions. Evolutionary theorising may be relevant, but will not be decisive, in answering this question. (shrink)

Moral discourse is propositionally clothed, that is, it exhibits those features – such as the ability of its sentences to intelligibly embed in conditionals and other unasserted contexts – that have been taken by some philosophers to be constitutive of discourses that express propositions. If there is nothing more to a mental state being a belief than it being characteristically expressed by sentences that are propositionally clothed then the version of expressivism which accepts that moral discourse is propositionally clothed (‘quasi-realism’) (...) is self-refuting. Fortunately for quasi-realists, this view of belief, which I label ‘minimalism’, is false. I present three arguments against it and dismiss two possible defences (the first drawn from the work of Wright, the second given by Harcourt). The conclusion is that the issue between expressivists and their opponents cannot be settled by the mere fact that moral discourse wears propositional clothing. (shrink)

In the past decade, three philosophers in particular have recently explored the relation between desert and intrinsic value. Fred Feldman argues that consequentialism need not give much weight – or indeed any weight at all – to the happiness of persons who undeservedly experience pleasure. He defends the claim that the intrinsic value of a state of affairs is determined by the “fit” between the amount of well-being that a person receives and the amount of well-being that the person deserves. (...) Shelly Kagan uses a similar claim to motivate the view that equality is not intrinsically valuable. Thomas Hurka argues that desert is a third-order value, which is a function of the relation between the second-order value of having a virtuous or vicious character and the first-order value of experiencing pleasure or pain. In this paper, we sketch a theory of desert as fittingness and defend a general account of the relation between desert, well-being, and intrinsic value. We then discuss various applications of our “geometry of desert,” including a solution to the problem of the Repugnant Conclusion. In so doing, we explain, revise, and extend many of these authors’ central ideas. (shrink)

John McDowell claims that virtuous people recognize moral reasons using a perceptual capacity that doesn't include desire. I show that the phenomena he cites are better explained if desire makes us see considerations favoring its satisfaction as reasons. The salience of moral considerations to the virtuous, like the salience of food to the hungry, exemplifies the emotional and attentional effects of desire. I offer a desire-based account of how we can follow uncodifiable rules of common-sense morality and how some reasons (...) can be silenced in deliberation. I conclude by arguing that animals can be virtuous by having the right desires. (shrink)

Most philosophers believe that wrongdoers sometimes deserve to be punished by long prison sentences. They also believe that such punishments are justified by their consequences: they deter crime and incapacitate potential offenders. In this article, I argue that both these claims are false. No one deserves to be punished, I argue, because our actions are shot through with direct or indirect luck. I also argue that there are good reasons to think that punishing fewer people and much less harshly will (...) have better social consequences, at a reduced overall cost, then the long prison sentences that are usually seen as required for social protection. (shrink)

Bayesian models of legal arguments generally aim to produce a single integrated model, combining each of the legal arguments under consideration. This combined approach implicitly assumes that variables and their relationships can be represented without any contradiction or misalignment, and in a way that makes sense with respect to the competing argument narratives. This paper describes a novel approach to compare and ‘average’ Bayesian models of legal arguments that have been built independently and with no attempt to make them consistent (...) in terms of variables, causal assumptions or parameterization. The approach involves assessing whether competing models of legal arguments are explained or predict facts uncovered before or during the trial process. Those models that are more heavily disconfirmed by the facts are given lower weight, as model plausibility measures, in the Bayesian model comparison and averaging framework adopted. In this way a plurality of arguments is allowed yet a single judgement based on all arguments is possible and rational. (shrink)

Abstract: This essay consists of some clarifying remarks on the doctrine of double effect (DDE). After providing a contemporary formulation of the doctrine we put special emphasis on the distinction between those aspects of an action plan that are intended and those that are merely foreseen (the I/F distinction). Making use of this distinction is often made difficult in practice because salient aspects of the action plan exhibit a felt “closeness” to one another that is difficult if not impossible to (...) articulate with the precision we might like. The essay goes on to examine an especially adroit criticism of DDE best articulated by J.J. Thomson. We conclude with a brand new double effect case (new to the philosophical literature anyway) taken from medicine and Roman Catholic pastoral ministry. (shrink)

We introduce and consider the inner-model reflection principle, which asserts that whenever a statement \varphi(a) in the first-order language of set theory is true in the set-theoretic universe V, then it is also true in a proper inner model W \subset A. A stronger principle, the ground-model reflection principle, asserts that any such \varphi(a) true in V is also true in some non-trivial ground model of the universe with respect to set forcing. These principles each express a form of width (...) reflection in contrast to the usual height reflection of the Lévy–Montague reflection theorem. They are each equiconsistent with ZFC and indeed \Pi_2-conservative over ZFC, being forceable by class forcing while preserving any desired rank-initial segment of the universe. Furthermore, the inner-model reflection principle is a consequence of the existence of sufficient large cardinals, and lightface formulations of the reflection principles follow from the maximality principle MP and from the inner-model hypothesis IMH. We also consider some questions concerning the expressibility of the principles. (shrink)

A pervasive thought in contemporary philosophy of mathematics is that in order to justify reflection principles, one must hold universism: the view that there is a single universe of pure sets. I challenge this kind of reasoning by contrasting universism with a Zermelian form of multiversism. I argue that if extant justifications of reflection principles using notions of richness are acceptable for the universist, then the Zermelian can use similar justifications. However, I note that for some forms of richness argument, (...) the status of reflection principles as axioms is left open for the Zermelian. (shrink)

In this paper I grant the Humean premise that some reasons for action are grounded in the desires of the agents whose reasons they are. I then consider the question of the relation between the reasons and the desires that ground them. According to promotionalism , a desire that p grounds a reason to φ insofar as A’s φing helps promote p . According to motivationalism a desire that p grounds a reason to φ insofar as it explains why, in (...) certain circumstances, A would be motivated to φ. I then give an argument favouring motivationalism, namely that promotionalism entails that agents have reasons to perform physically impossible actions, whereas motivationalism entails that there are no such reasons. Although this is a version of the ‘Too Many Reasons’ objection to promotionalism, I show that existing responses to that problem do not transfer to the case of reasons to perform physically impossible actions. In the penultimate section I consider and reject some objections to motivationalism made by promotionalists. The conclusion is that Humeans about reasons for action should prefer motivationalism. (shrink)

In this paper we sketch a new version of aesthetic expressivism. We argue that one advantage of this view is that it explains various putative norms on the formation and revision of aesthetic judgement. We begin by setting out our proposed explananda and a sense in which they can be understood as governing the correct response to putative higher-order evidence in aesthetics. We then summarise some existing discussions of expressivist attempts to explain these norms, and objections raised to them. This (...) will allow us to identify the pitfalls that a good expressivist explanation needs to avoid. Finally, we sketch our preferred version of aesthetic expressivism which includes as a crucial part a hypothesis concerning the distinctive expressive function of aesthetic practice. We then consider how this theory can explain the putative aesthetic norms whilst avoiding the previous objections. (shrink)

In this paper I draw apart two different contexts of Freirean pedagogical practice that I label interactional and institutional. The interactional refers to the immediate learning environment with relation to the interaction between the students and the teacher. In contrast, the institutional refers to how the institutions of education are managed, constructed, and organised and how they relate to the individuals those institutions are composed of. I begin by presenting a brief overview of Freire’s argument in favour of a revolutionary (...) pedagogy. I then highlight how this project is represented at both interactional and institutional levels with a particular focus upon the practice of the revolutionary leaders and their role in the development of the humanisation of the oppressed. In presenting the interactional and institutional elements of Freire’s pedagogy separately the tension between the individual and the state is made plain and the limitations of his politico-educational project are drawn out. I argue that due to an inconsistent application of the relationship between means and ends in Freire’s politico-educational project an incoherence between the interactional and institutional levels of education is highlighted. In responding to this limitation of Freire’s politico-educational project with a thoroughly interconnected relationship of means and ends I show that there remains a necessary conflict between the interests of the individual and the state. As a result of this a door is opened for the development of an argument in favour of the disestablishment of education and state from a Freirean perspective. (shrink)

We can infer moral conclusions from nonmoral evidence using a three-step procedure. First, we distinguish the processes generating belief so that their reliability in generating true belief is statistically predictable. Second, we assess the processes’ reliability, perhaps by observing how frequently they generate true nonmoral belief or logically inconsistent beliefs. Third, we adjust our credence in moral propositions in light of the truth ratios of the processes generating beliefs in them. This inferential route involves empirically discovering truths of the form (...) “Process P, which generates belief in moral proposition M, has truth ratio T", and using them to discover probabilities for moral propositions. The inferential route is noncircular, and progress along it is driven fundamentally by induction. (shrink)

I provide an examination and comparison of modal theories for underwriting different non-modal theories of sets. I argue that there is a respect in which the `standard' modal theory for set construction---on which sets are formed via the successive individuation of powersets---raises a significant challenge for some recently proposed `countabilist' modal theories (i.e. ones that imply that every set is countable). I examine how the countabilist can respond to this issue via the use of regularity axioms and raise some questions (...) about this approach. I argue that by comparing them with the `standard' uncountabilist theory, a new approach that brings in arbitrariness rather than the strict controls of forcing is desirable. (shrink)

In this paper I argue that the common practice of employing moral predicates as explaining phrases can be accommodated on an expressivist account of moral practice. This account does not treat moral explanations as in any way second-rate or derivative, since it subsumes moral explanations under the general theory of program explanations (as defended by Jackson and Pettit). It follows that the phenomenon of moral explanations cannot be used to adjudicate the debate between expressivism and its rivals.

Set-theoretic and category-theoretic foundations represent different perspectives on mathematical subject matter. In particular, category-theoretic language focusses on properties that can be determined up to isomorphism within a category, whereas set theory admits of properties determined by the internal structure of the membership relation. Various objections have been raised against this aspect of set theory in the category-theoretic literature. In this article, we advocate a methodological pluralism concerning the two foundational languages, and provide a theory that fruitfully interrelates a `structural' perspective (...) to a set-theoretic one. We present a set-theoretic system that is able to talk about structures more naturally, and argue that it provides an important perspective on plausibly structural properties such as cardinality. We conclude the language of set theory can provide useful information about the notion of mathematical structure. (shrink)

Pietro Gori dedicates Nietzsche’s Pragmatism “To the wanderers and Good Europeans,” and Anglophone wanderers into Sarah de Sanctis’s translation will indeed find good European Nietzsche scholarship. The table of contents is a helpful map of the book, with five chapters consisting of twenty-eight sections on a sequence of philosophical and interpretive topics. Perspectival thought, addressed in the subtitle, is the explicit topic of the third chapter. Pragmatism, mentioned in the title, is the explicit topic of the fifth and final chapter. (...) While both topics also are discussed in many other places, the overall focus is on Nietzsche’s views of epistemology and truth.The first chapter discusses Nietzsche’s views of... (shrink)

In this article, I survey some philosophical attitudes to talk concerning `the' universe of sets. I separate out four different strands of the debate, namely: (i) Universism, (ii) Multiversism, (iii) Potentialism, and (iv) Pluralism. I discuss standard arguments and counterarguments concerning the positions and some of the natural mathematical programmes that are suggested by the various views.

In “The Evolutionary Debunking of Quasi-Realism,” Neil Sinclair and James Chamberlain present a novel answer that quasi-realists can pro-vide to a version of the reliability challenge in ethics—which asks for an explanation of why our moral beliefs are generally true—and in so doing, they examine whether evolutionary arguments can debunk quasi-realism. Although reliability challenges differ from EDAs in several respects, there may well be a connection between them. For the explanatory premise of an EDA may state that a particular (...) theory of beliefs of a certain kind does not, or cannot, provide a plausible account of why those beliefs might be generally true, and its epistemic premise may state that, if that is the case, then the beliefs in question have a negative epistemic status or the theory is false inasmuch as, if it were true, it would lead to those beliefs having such a negative epistemic status. The quasi-realist can answer the reli-ability challenge by claiming that, when we form our moral beliefs through a process of well-informed impartial reflection, we form them in response to the non-moral features of things on which depend the moral features they have. Hence, when we form beliefs by means of such a process, we are most likely forming true moral beliefs. (shrink)

How does our language relate to reality? This is a question that is especially pertinent in set theory, where we seem to talk of large infinite entities. Based on an analogy with the use of models in the natural sciences, we argue for a threefold correspondence between our language, models, and reality. We argue that so conceived, the existence of models can be underwritten by a weak notion of existence, where weak existence is to be understood as existing in virtue (...) of language. (shrink)

Informal rigour is the process by which we come to understand particular mathematical structures and then manifest this rigour through axiomatisations. Structural relativity is the idea that the kinds of structures we isolate are dependent upon the logic we employ. We bring together these ideas by considering the level of informal rigour exhibited by our set-theoretic discourse, and argue that different foundational programmes should countenance different underlying logics (intermediate between first- and second-order) for formulating set theory. By bringing considerations of (...) perturbations in modal space to bear on the debate, we will suggest that a promising option for representing current set-theoretic thought is given by formulating set theory using quasi-weak second-order logic. These observations indicate that the usual division of structures into \particular (e.g. the natural number structure) and general (e.g. the group structure) is perhaps too coarse grained; we should also make a distinction between intentionally and unintentionally general structures. (shrink)

In Thus Spoke Zarathustra, Nietzsche presents passion as constituting human agency. He encountered this Humean view in Schopenhauer, and recognized its explanatory advantages over Platonic and Kantian rationalism. Zarathustra's poetic speeches anticipate and address contemporary objections to the view that passion constitutes agency. "On the Despisers of the Body" explains why understanding the self as constituted by passion provides better explanations of reasoning, value judgment, and the unity of the self than Christine Korsgaard's neo-Kantian view. "On Enjoying and Suffering the (...) Passions" explains why understanding virtues as constituted by passions provides a better explanation of moral phenomenology than John McDowell's rationalism. (shrink)

Some examples suggest that religious credences respond to evidence. Other examples suggest they are wildly unresponsive. So the examples taken together suggest there is a puzzle about whether descriptive religious attitudes respond to evidence or not. I argue for a solution to this puzzle according to which religious credences are characteristically not responsive to evidence; that is, they do not tend to be extinguished by contrary evidence. And when they appear to be responsive, it is because the agents with those (...) credences are playing what I call The Evidence Game, which in fundamental ways resembles the games of make-believe described by Walton's theory of make-believe. (shrink)

I argue that the Doctrine of Double Effect is accepted because of unreliable processes of belief-formation, making it unacceptably likely to be mistaken. We accept the doctrine because we more vividly imagine intended consequences of our actions than merely foreseen ones, making our aversions to the intended harms more violent, and making us judge that producing the intended harms is morally worse. This explanation fits psychological evidence from Schnall and others, and recent neuroscientific research from Greene, Klein, Kahane, and Schaich (...) Borg. It explains Mikhail and Hauser’s “universal moral grammar” and an interesting phenomenon about Double Effect cases noted by Bennett. When unequally vivid representations determine our decisions, we typically misjudge the merits of our options and make mistakes. So if Double Effect is a product of unequal vividness, it is likely to be mistaken. This argument, I claim, fits Berker’s specifications for good empirically grounded arguments in ethics. (shrink)

The identity theory, advocated as a solution to the mind-body problem by materialists such as Feigl and Smart, has been criticized for implying the existence of irreducible properties. After summarizing the relevant theses of materialism, I consider several versions of the irreducible properties objection, and argue that they are all unsuccessful.

I argue that psychology and epistemology should posit distinct cognitive attitudes of religious credence and factual belief, which have different etiologies and different cognitive and behavioral effects. I support this claim by presenting a range of empirical evidence that religious cognitive attitudes tend to lack properties characteristic of factual belief, just as attitudes like hypothesis, fictional imagining, and assumption for the sake of argument generally lack such properties. Furthermore, religious credences have distinctive properties of their own. To summarize: factual beliefs (...) are practical setting independent, cognitively govern other attitudes, and are evidentially vulnerable. By way of contrast, religious credences have perceived normative orientation, are susceptible to free elaboration, and are vulnerable to special authority. This theory provides a framework for future research in the epistemology and psychology of religious credence. (shrink)

I defend ethical hedonism, the view that pleasure is the sole good thing, by arguing that it offers the only answer to an argument for moral skepticism. The skeptical problem arises from widespread fundamental moral disagreement, which entails the presence of enough moral error to undermine the reliability of most processes generating moral belief. We know that pleasure is good through the reliable process of phenomenal introspection, which reveals what our experiences are like. If knowing of pleasure’s goodness through phenomenal (...) introspection is the only reliable way to form our initial moral beliefs, we should accept ethical hedonism. (shrink)

David Hume’s legal theory has normally been interpreted as bearing close affinities to the English common law theory of jurisprudence. I argue that this is not accurate. For Hume, it is the nature and functioning of a country’s legal system, not the provenance of that system, that provides the foundation of its authority. He judges government by its ability to protect property in a reliable and equitable way. His positions on the role of equity in the law, on artificial reason (...) and the esoteric nature of the law, and on the role of judges in the legal system are all at odds with those of the common lawyers. (shrink)

In this article , I first engage in some conceptual clarification of what the words "imagine," "imagining," and "imagination" can mean. Each has a constructive sense, an attitudinal sense, and an imagistic sense. Keeping the senses straight in the course of cognitive theorizing is important for both psychology and philosophy. I then discuss the roles that perceptual memories, beliefs, and genre truth attitudes play in constructive imagination, or the capacity to generate novel representations that go well beyond what's prompted by (...) one's immediate environment. (shrink)

Parents play a critical role in their child’s personal development and day-to-day experiences. However, as digital technologies are increasingly embedded in most New Zealand children’s everyday life activities parents face the task of ensuring their child’s online safety. To do so, they need to understand the way their child engages with and through these tools and make sense of the rapidly changing, and more technically complex, nature of digital devices. This presents a digital parenting dilemma: maximising children’s online opportunities while (...) minimising online risks and potential harm. This factsheet presents evidence about digital parenting in New Zealand based on nationally representative data collected from parents, caregivers and whānau and their children aged 9-17. It uses measures from the Global Kids Online project to explore the prevalence of different practices used by New Zealand parents to influence or mediate children’s internet use. (shrink)